Financial support for this work was provided by the CPER (Contrat de Projet Etat Region) Vallée

Local path planning for mobile robots based on intermediate objectives

This paper presents a path planning algorithm for autonomous navigation of non-holonomic mobile robots in complex environments. The irregular contour of obstacles is represented by segments. The goal of the robot is to move towards a known target while avoiding obstacles. The velocity constraints, robot kinematic model and non-holonomic constraint are considered in the problem. The optimal path...

Projet Barracuda: Etude Audio/vid Eo Table Des Mati Eres 1 Pr Esentation 2 Pr Esentation Etat De L'art En Compression Multim Edia 2.1 Introduction 2.4.3 Mpeg Audio 2.4.4 Autres Protocoles

Le pr esent document est le rapport de l'Etude Audio/Vid eo du projet BARRACUDA engag e par le CNES aupr es de la CISI. 1.1 Exigences Cette etude Audio/Vid eo r epond au besoin, exprim e par le CNES dans le document BAR-SB-0100-001-CN du projet BARRACUDA, d'un survol des techniques actuelles et standards permettant: { d'acqu erir, { de stocker, { de compresser, { d ' editer, { et de restituer s...

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel

Résumé. Dans cet article, nous présentons la démarche adoptée dans le projet LISE pour spécifier de manière formelle les responsabilités des parties dans un contrat portant sur des logiciels. Nous décrivons deux options, l’une reposant sur une attribution a priori des responsabilités en fonction des dysfonctionnements constatés dans les logs, l’autre sur une analyse de causalité, et nous les il...

Certi cation d un porte monnaie electronique

L article d ecrit l etat d avancement d un projet commun a Gemplus et a l ONERA Gemplus a d evelopp e un porte monnaie electronique s ex ecutant sur des cartes a puces supportant Java Le but du projet est de v eri er des propri et es de s ecurit e qui doivent etre satisfaites par les applets partici pant a l application Une politique de s ecurit e a et e d e nie qui associe des niveaux aux attr...

Etat actuel de la fièvre aphteuse en Iran